Bodeveix, Jean-Paul: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (25)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Event B Development of a Synchronous AADL Scheduler

Jean-Paul Bodeveix, Mamoun Filali

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2011

Мова:

english

Файл:

PDF, 209 KB

english, 2011

2

An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models

Wang, Fei, Yang, Zhi-Bin, Huang, Zhi-Qiu, Liu, Cheng-Wei, Zhou, Yong, Bodeveix, Jean-Paul, Filali, Mamoun

Журнал:

IEEE Transactions on Reliability

Рік:

2019

Мова:

english

Файл:

PDF, 7.11 MB

english, 2019

3

Towards formalising AADL in Proof Assistants

Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2005

Мова:

english

Файл:

PDF, 298 KB

english, 2005

4

Automatic Verification of Bossa Scheduler Properties

Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2007

Мова:

english

Файл:

PDF, 337 KB

english, 2007

5

Abstract machine construction through operational semantics refinements

Frédéric Cabestre, Christian Percebois, Jean-Paul Bodeveix

Журнал:

Future Generation Computer Systems

Рік:

2000

Мова:

english

Файл:

PDF, 690 KB

english, 2000

6

Reduction and Quantifier Elimination Techniques for Program Validation

Jean-Paul Bodeveix, Mamoun Filali

Журнал:

Formal Methods in System Design

Рік:

2002

Мова:

english

Файл:

PDF, 128 KB

english, 2002

7

A comparative study of two formal semantics of the SIGNAL language

Yang, Zhibin, Bodeveix, Jean-Paul, Filali, Mamoun

Журнал:

Frontiers of Computer Science

Рік:

2013

Мова:

english

Файл:

PDF, 788 KB

english, 2013

8

[IEEE 2011 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 16th IEEE International Conference on Engineering of Complex Computer Systems - Two Formal Semantics of a Subset of the AADL

Yang, Zhibin, Hu, Kai, Bodeveix, Jean-Paul, Pi, Lei, Ma, Dianfu, Talpin, Jean-Pierre

Рік:

2011

Мова:

english

Файл:

PDF, 388 KB

english, 2011

9

From AADL to Timed Abstract State Machines: A verified model transformation

Yang, Zhibin, Hu, Kai, Ma, Dianfu, Bodeveix, Jean-Paul, Pi, Lei, Talpin, Jean-Pierre

Журнал:

Journal of Systems and Software

Рік:

2014

Мова:

english

Файл:

PDF, 2.87 MB

english, 2014

10

[IEEE 2013 20th International Symposium on Temporal Representation and Reasoning (TIME) - Pensacola, FL (2013.09.26-2013.09.28)] 2013 20th International Symposium on Temporal Representation and Reasoning - Event Algebra for Transition Systems Composition - Application to Timed Automata

Fares, Elie, Bodeveix, Jean-Paul, Filali, Mamoun

Рік:

2013

Мова:

english

Файл:

PDF, 419 KB

english, 2013

11

[IEEE 2008 13th IEEE International Conference on Engineering of Complex Computer Systems - (ICECCS) - Belfast, Northern Ireland (2008.03.31-2008.04.3)] 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) - Modes in Asynchronous Systems

Rolland, Jean-François, Bodeveix, Jean-Paul, Filali, Mamoun, Chemouil, David, Thomas, Dave

Рік:

2008

Мова:

english

Файл:

PDF, 332 KB

english, 2008

12

[IEEE 2010 International Conference on Progress in Informatics and Computing (PIC) - Shanghai, China (2010.12.10-2010.12.12)] 2010 IEEE International Conference on Progress in Informatics and Computing - Formal semantics and verification of AADL modes in Timed Abstract State Machine

Yang, Zhibin, Hu, Kai, Ma, Dianfu, Pi, Lei, Bodeveix, Jean-Paul

Рік:

2010

Мова:

english

Файл:

PDF, 788 KB

english, 2010

13

[IEEE 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Auckland, New Zealand (2007.07.11-2007.07.14)] 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - The AADL behaviour annex -- experiments and roadmap

Franca, Ricardo Bedin, Bodeveix, Jean-Paul, Filali, Mamoun, Rolland, Jean-Francois, Chemouil, David, Thomas, Dave

Рік:

2007

Мова:

english

Файл:

PDF, 175 KB

english, 2007

14

Towards a verified transformation from AADL to the formal component-based language FIACRE

Bodeveix, Jean-Paul, Filali, Mamoun, Garnacho, Manuel, Spadotti, Régis, Yang, Zhibin

Журнал:

Science of Computer Programming

Рік:

2015

Мова:

english

Файл:

PDF, 1.51 MB

english, 2015

15

[ACM Press the 5th international workshop - Vienna, Austria (2007.09.26-2007.09.28)] Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems - JTRES '07 - A mapping from AADL to Java-RTSJ

Jean-Paul, Bodeveix, Raphaël, Cavallero, David, Chemouil, Mamoun, Filali, Jean-François, Rolland

Рік:

2007

Мова:

english

Файл:

PDF, 287 KB

english, 2007

16

[ACM Press the 2006 ACM symposium - Dijon, France (2006.04.23-2006.04.27)] Proceedings of the 2006 ACM symposium on Applied computing - SAC '06 - Verification of a scheduler in B through a timed automata specification

Nasr, Odile, Bodeveix, Jean-Paul, Filali, Mamoun, Irit, Miloud Rached

Рік:

2006

Мова:

english

Файл:

PDF, 223 KB

english, 2006

17

[ACM Press the 17th International Workshop - Sankt Goar, Germany (2014.06.10-2014.06.11)] Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems - SCOPES '14 - A verified transformation

Yang, Zhibin, Bodeveix, Jean-Paul, Filali, Mamoun, Hu, Kai, Ma, Dianfu

Рік:

2014

Мова:

english

Файл:

PDF, 903 KB

english, 2014

18

[ACM Press the 2007 ACM workshop - Fairfax, Virginia, USA (2007.11.02-2007.11.02)] Proceedings of the 2007 ACM workshop on Formal methods in security engineering - FMSE '07 - Security policy compliance with violation management

Brunel, Julien, Cuppens, Frédéric, Cuppens, Nora, Sans, Thierry, Bodeveix, Jean-Paul

Рік:

2007

Мова:

english

Файл:

PDF, 210 KB

english, 2007

19

Towards a verified compiler prototype for the synchronous language SIGNAL

Yang, Zhibin, Bodeveix, Jean-Paul, Filali, Mamoun, Hu, Kai, Zhao, Yongwang, Ma, Dianfu

Журнал:

Frontiers of Computer Science

Рік:

2016

Мова:

english

Файл:

PDF, 817 KB

english, 2016

20

[IEEE 2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP) - St. Petersburg, Russia (2017.3.6-2017.3.8)] 2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP) - Automatic Refinement for Event-B through Annotated Patterns

Siala, Badr, Bodeveix, Jean-Paul, Filali, Mamoun, Bhiri, Mohamed Tahar

Рік:

2017

Мова:

english

Файл:

PDF, 158 KB

english, 2017

21

Event algebra for transition systems composition application to timed automata

Fares, Elie, Bodeveix, Jean-Paul, Filali, Mamoun

Журнал:

Acta Informatica

Рік:

2017

Мова:

english

Файл:

PDF, 807 KB

english, 2017

22

[ACM Press the 15th ACM-IEEE International Conference - Vienna, Austria (2017.09.29-2017.10.02)] Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17 - A refinement-based compiler development for synchronous languages

Bodeveix, Jean-Paul, Filali-Amine, Mamoun, Kan, Shuanglong

Рік:

2017

Мова:

english

Файл:

PDF, 774 KB

english, 2017

23

Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL

Yang, Zhibin, Bodeveix, Jean-Paul, Filali, Mamoun

Журнал:

Frontiers of Computer Science

Рік:

2018

Мова:

english

Файл:

PDF, 2.09 MB

english, 2018

24

[IEEE 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Beijing (2018.10.15-2018.10.18)] 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension

Xu, Jinmiao, Yang, Zhibin, Huang, Zhiqiu, Zhou, Yong, Liu, Chengwei, Xue, Lei, Bodeveix, Jean-Paul, Filali, Mamoun

Рік:

2018

Мова:

english

Файл:

PDF, 275 KB

english, 2018

25

Event-B formalization of a variability-aware component model patterns framework

Bodeveix, Jean-Paul, Dieumegard, Arnaud, Filali, Mamoun

Журнал:

Science of Computer Programming

Рік:

2020

Файл:

PDF, 2.15 MB

2020